Section: Dissemination

Scientific Animation

Associate Editor

• of the International Journal of Applied Cryptography (IJACT) – Inderscience Publishers: Bruno Blanchet

• FCS – June 2013, New Orleans, LA, USA: Bruno Blanchet (PC co-chair)

• POST – April 2014, Grenoble, France: Bruno Blanchet

• SEC@SAC – March 2013, Coimbra, Portugal: Graham Steel (PC co-chair)

• CSF – June 2013, New Orleans, USA: Graham Steel

• IWIL – December 2013, Stellenbosch, South Africa: Graham Steel

ETAPS – March 2013, Rome, Italy:

Bruno Blanchet, David Cadé, Miriam Paiola, Benjamin Smyth

CSF, FCS, FCC – June 2013, New Orleans, LA, USA:

Bruno Blanchet, Benjamin Smyth

CCS – November 2013, Berlin, Germany:

Bruno Blanchet, David Cadé, Miriam Paiola, Gergely Bana

S&P – May 2013, San Francisco, USA:

Karthikeyan Bhargavan, Alfredo Pironti

Usenix Security, WOOT – August 2013, Washington DC, USA:

Karthikeyan Bhargavan, Alfredo Pironti, Antoine Delignat-Lavaud

CryptoForma – September 2013, San Francisco, USA:

Alfredo Pironti

Black Hat USA – July 2013, Las Vegas, USA:

Benjamin Smyth